Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
591	Next Generation Logic Programming Systems Gopal Gupta In the last 30 years logic programming (LP), with Prolog as the most representative logic programming language, has emerged as a powerful paradigm for intelligent rea Add to Reading List Source URL: www.utdallas.edu Language: English - Date: 2003-09-24 11:15:53 Declarative programming Constraint programming Reasoning Automated theorem proving Programming paradigms Prolog Reasoning system Logic Constraint logic programming Software engineering Artificial intelligence Logic programming
592	A Trustworthy, Extensible Theorem Prover Jared Davis Department of Computer Sciences The University of Texas at Austin Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:43 Lisp programming language Logic in computer science Proof theory Formal methods Mathematical logic ACL2 Mathematical proof Theorem Automated theorem proving Mathematics Logic Computing
593	Job-Driven (JD) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by COB May 27, 2014 to be considered for funding Add to Reading List Source URL: doleta.gov Language: English - Date: 2014-04-25 14:50:46 Rules of inference Boolean algebra Logic in computer science Mathematics Mathematical logic Theoretical computer science Automated theorem proving
594	Introduction to PROLOG Peter Lucas Department of Computing Science University of Aberdeen, Aberdeen Contents Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2002-01-23 10:03:24 Logic programming Automated theorem proving Prolog Rules of inference Horn clause Unification Clause SLD resolution Inference Software engineering Computing Computer programming
595	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: www.math.mun.ca Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
596	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ctan.mackichan.com Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
597	Copyright by Jared Curran Davis 2009 The Dissertation Committee for Jared Curran Davis Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-05 00:16:20 Automated theorem proving Mathematical logic Proof theory ACL2 Lisp programming language Nqthm Mathematical proof Theorem prover Theorem Logic Theoretical computer science Mathematics
598	GradE 12 aPPliEd MathEMatiCs (40s) Grade 12 Applied Mathematics (40S) is intended for students considering post-secondary studies that do not require a study of theoretical calculus. It is context driven and promotes the Add to Reading List Source URL: www.edu.gov.mb.ca Language: English - Date: 2013-09-03 10:46:53 Problem solving Mathematics Automated theorem proving Constraint programming Deduction Reasoning system Permutation Matrix Differential equation Artificial intelligence Educational psychology Cognition
599	LNCS[removed]A Linear Logic of Authorization and Knowledge Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:08 Deduction Logical consequence Propositional calculus Automated theorem proving Sequent calculus Amenable group Monotonicity of entailment Entailment Linear logic Logic Mathematical logic Proof theory
600	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD[removed]Ricky W. Butler Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-10-26 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science

UPDATE